Operation Prosper: South Africa deploys army to fight illegal mining