Clearing Mines From the Strait of Hormuz Would Halt Traffic for Weeks, and Iran Knows It