Could take six months to fully clear the Strait of Hormuz of mines deployed by the Iranian military, and any such operation is unlikely to be carried out until the US war with Iran ends, WaPo reports citing Pentagon informing Congress