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