Record output, tax dodge pushes up crude exports from U.S. Gulf Coast