Time to win the Battle of Hormuz — and enforce freedom of navigation

President Donald Trump has rightly declared the Iran “cease-fire” to be dead and even more rightly made getting the Strait of Hormuz permanently opened his top priority. All his minions should get the message: Win the Battle of Hormuz. Use all the force it takes; anything diplomacy can do (and we don’t see much) is...