U.S. production of crude oil grew 5% in 2017, reaching 10 million barrels per day in the last two months of the year (3/14/2018)