South African police have ended a rescue operation at an abandoned gold mine where hundreds of illegal miners were trapped for months and say they believe they have rescued all the survivors and retrieved all the bodies of those who died.