20180202 world.rest-of-world: All 955 miners trapped in South Africa resurface unharmed: Mine owner