your argument fails to prove that for above mentioned fault in how you count the people involved.
https://www.spglobal.com/marketintelligence/en/campaigns/met...
You can access annual reports and technical reports on pretty much all the major mine sites about the globe, capital investments, plant sizes, work forces, etc.
then expand outwards mapping supply chain networks, etc. You know, the usual legwork.
your argument fails to prove that for above mentioned fault in how you count the people involved.