辞海

释义：kuàng dīng/zhēng
1.旧时对矿工的称呼。