Oklahoma oil prices and drilling report for Dec. 15, 2018