“The USS Frank Peterson Jr., the USS Michael Murphy, and uncrewed surface vessels are actively engaged in clearing naval mines from the Strait of Hormuz.”