mineworkers

noun
  1. people employed to extract minerals, coal, or other valuable materials from the earth, typically underground
  2. Usage: plural form; singular is mineworker; often refers to coal miners specifically in historical contexts

Examples