Retired Navy Adm. James Stavridis, the former NATO allied supreme commander, suggested on Thursday that reopening the Strait of Hormuz largely hinges on the U.S. military’s ability to stop Iranian mines from being laid in the waterway. “Strategically, what we ought to be doing is going after these small boats before they get underway. And...