Explosion in a mine: victims and missing among the workers