Deux destroyers américains ont franchi le détroit d'Ormuz dans une opération de déminage