U.S. Gulf of Mexico crude oil production to continue at record highs through 2019