Tensions in the Gulf escalated sharply after reports that Iran had begun laying naval mines in the strategically vital Strait of Hormuz, prompting warnings from President Donald Trump and US military strikes against suspected mine-laying vessels.
