Texas and Pacific Coal and Oil Company.