By AP
The US destroyed 16 mine-laying Iranian vessels, though President Donald Trump said in social media posts that there were no reports of Iran planting explosives in the Strait of Hormuz.