U.S. coal mining job count in December of each year. Numbers in thousands. 2017 figure is preliminary.