Texas’ oil and natural gas production continues at record highs in October