Ah, thank you for your faith in us, but Peabody Coal was 1st with 146,132,000 tons.  Arch Coal was 2nd (116,462,000 tons). North American was 9th (26,728,000 tons).  Buckeye Industrial produced 545,769         tons.