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