Sinker

Other names:
Pit sinker

Persons, often contractors, employed to sink new pit shafts