President Donald Trump said Tuesday that U.S. forces had destroyed 10 Iranian vessels he described as “inactive” but capable of laying naval mines as tensions escalate over the security of the Strait of Hormuz.

The announcement came after the president said there were no reports of Iran laying such mines but threatened military actions “at a level never seen before.”