Seven years of uninterrupted dewatering for world’s largest zinc mine