Europe’s gasoline export drop may hit U.S. driving season