Saudi refinery exports first gasoline barrels to U.S.