US president Donald Trump posted on social media that the US military had cleared the Strait of Hormuz and that Iran’s minelaying ships had been sunk.