矿工

基本解释：

---

开矿的工人。