“According to a Washington Post report, Iran may have placed 20 or more naval mines in and around the Strait of Hormuz.”