U.S. shale oil output to hit record high 7.9 million barrels per day in December: EIA | Reuters