矿工

【意思解释】开矿的工人。