20010804 unknown: China punishes officials for mine accident