“According to Secretary Rubio, Iran has laid mines in very large parts of the Strait of Hormuz.”