Two weeks after the Iran war began, top oil-industry executives warned Trump officials that oil prices could climb much higher unless the vital Strait of Hormuz waterway reopened soon. The scale of the disruption could hardly be exaggerated: ocean-faring vessels usually carry some 20% of the world’s daily diet...