辞海

释义：shā dīng/zhēng
1.矿工。