EIA: US domestic crude oil production rose in latest week to record highs