Rio Tinto is one of the biggest mining groups in the world. The workers at one mine in South Africa had become unsettled about rumours the mine was to close …