“The United States exports approximately 4.5 million barrels per day of light sweet crude oil from the Permian Basin.”