Texas Oil Production Is on Pace to Become the Third Largest in the World