U.S. oil producers just set a production record and the market barely flinched. Output hit 13.93 million barrels per day in April, the highest in American history, and it is landing at a moment when the war premium that justified $100 crude has almost entirely disappeared. Tankers are moving through the Strait of Hormuz again. Diplomatic teams are talking in Doha. And the crude that was supposed to stay scarce is showing up everywhere.