That’s how many barrels of oil have made it out of the Hormuz Strait with U.S. military guidance. Voters aren’t happy about gasoline prices as they head to the polls, and it’s now axiomatic in the press that the Iran war is a loser for the U.S. with no good choices except capitulation. So it’s worth noting U.S. Navy Adm. Brad Cooper’s update this week that the U.S. has helped its allies in the Gulf export 1.5 billion barrels of oil since this summer.“When I flew over the Strait” recently, Adm. Cooper said in a video on Friday, “I saw...