Coal and oil

The US mines 530 million tons of coal each year and that provides 50,000 good paying jobs. Biden is considering closing down mining on public lands on which 250 million tons are mined. This would represent 3% of the 7.7 billion tons mined each year around the globe. The US exports 70 million tons and uses 440 million tons in power plants. The rest is distilled to get a variety of aromatic organics. The use by power plants is declining each year as old plants are closed and others are switching over to natural gas. Other countries will just replace the coal we do not export and little to no change will occur in the overall amount of coal that is burned. This is similar to reducing US oil production in the name of the environment while other countries just replace the loss of US oil.