The US said it had destroyed 16 Iranian mine-laying vessels, although President Donald Trump said in social media posts there were no reports that Iran had planted explosives in the Strait of Hormuz.