“The Washington Post reported that Iran may have placed 20 or more naval mines in and around the Strait of Hormuz.”