(aided by a 2015 reversal of a ban on crude oil exports)—and could even lead to higher prices at U.S. pumps...