U.S. Federal Gulf of Mexico crude oil production to continue to set records through 2020