矿工

注释

开矿的工人。