Donald Trump declared that Iran has been "literally obliterated" and all its mine laying ships destroyed, at least to the best of his knowledge.