ditchman

noun
ditch·​man | \ ˈdichmən\
plural ditchmen

Definition of ditchman

: a ditcher in a mine