Citizens Coal and Coke Company.