Plus tôt dans la soirée, le Pentagone avait annoncé qu’un « navire de guerre américain avait été attaqué en mer Rouge ».