US Domestic Production of Crude Oil Rose in Latest Week to Record Highs, EIA Says