矿工

开矿的工人。