Will the US ban crude oil exports?