Sensational but not really news. Refuges are built underground to protect workers in case of fire and other dangers. Equipment fires foul the air and refuges are sealed and have positive air pressure. Underground events like this are more frequent than most people realise but proper training and well-designed infrastructure greatly reduces risk to life and limb.