大同大斗沟煤矿现状，彻底是没人了。