EU-land enige om å patruljere Hormuzstredet