Belt Creek Coal Company.