US oil production rose to record high in October, data show

U.S. oil output has grown rapidly this year as drilling operations became more efficient