A short read on why U.S. diesel sits near its $6.53 record while crude is cheaper than in April: the refining gap, what’s behind it, and who is paying.