Il y a trois jours, Donald Trump avait annoncé qu’une « armada » se dirigeait vers le golfe Persique, « au cas où ».