北京矿难 十名矿工已罹难