laborer who works in a mine.

• 在矿山或矿井工作的劳工。