На руднике "Пионер" прекращена операция по поиску 13 горняков: что известно