“US shale oil production consists of light sweet crude, which is ideal for gasoline but not for diesel, which requires medium sour crude.”