“According to a Washington Post report, it could take six months to clear the Strait of Hormuz of mines.”