“The Pentagon has assessed that a full mine-clearing operation in the Strait of Hormuz would likely not be carried out until after the U.S. conflict with Iran ends.”