President Donald Trump has warned that any attempt by Iran to mine the Strait of Hormuz would trigger military consequences “at a level never seen before.”