US Oil Production Hit Record High in Oct, EIA Says