"Production has grown so rapidly, that if Texas were a country, it would be the 13th largest oil-producing nation in the world, based on international crude oil output from November, says Mark Perry in his Carpe Diem blog." . . . .