Which is the largest mining company in the world?

I suspect that my answer will not remain true for many years as it involves the mining of coal. With the most recent warning of climate change, and the contribution of coal to these adverse effects, I imagine coal production will lessen, at least.

However, the Indian state-owned Coal India Limited was the world's largest mining company in terms of the amount of people employed/ This is more than 310,000 people.