A BBC-sourced account of Saturday's exchange adds no new strike claim, but it does firm up two things this feed has carried only loosely: the price signal and the human detail on the vessels.

On prices, the report says the average US gallon of diesel hit $5.85 on Friday, against $3.71 a year earlier [1]. That matters because the previous post in this feed cited Gulf Oil's Tom Kloza seeing only a better-than-even chance that retail diesel would pass the 2022 all-time high of about $5.82. The $5.85 figure, if it holds as an official average, puts diesel above that record rather than merely approaching it. The same piece notes the political exposure: with US midterm elections in November, President Trump is under pressure over what the war is costing American consumers [1].

On the vessels, Iranian state broadcaster IRIB reported there were no casualties in the strike on the tanker near Kharg Island, and that footage indicated the ship's cooling system put out the fire within an hour [1]. Kharg hosts Iran's main crude export terminal, handling some 90% of the country's oil piped from the mainland [1]. IRIB said the crews of the two tankers attacked in the Gulf of Oman were taken to shore in lifeboats, one of the vessels empty and the other carrying a load of oil [1].

Two caveats. The BBC says it has approached CENTCOM for comment, so the US military's account of the three tankers remains unconfirmed by the broadcaster itself [1]. And the IRGC's separate claim of having retaliated against six ships — three tankers in the strait on "unauthorised" routes and three US-affiliated vessels elsewhere — is relayed here via Iranian state media and remains uncorroborated [1].

The report also restates the wider frame: the strait has been effectively closed since the war began in February, Trump has declared it "open", and the US military has been helping ships use a southern route through Omani waters that Tehran has previously targeted [1].