The possibility that Iran could mine the Strait of Hormuz—the narrow maritime artery through which roughly a fifth of the world’s oil supply flows—has long been one of the most feared scenarios in global security planning. Today, as tensions spiral...