Israël dit avoir « éliminé » le chef de la marine des Gardiens de la Révolution iraniens, « responsable du minage du détroit d’Ormuz »