Inflation, the Strait of Hormuz War, and the Fiscal Calendar: Why Diesel Prices Jump Ahead of the August Bank Holiday