Estimates of 12,000 Mines in the Strait of Hormuz Raise International Concerns