Iran : une "armada" navigue vers le golfe Persique "au cas où", selon Donald Trump