US Crude Premiums Reach Record $40 a Barrel as Asian and European Refiners Compete