spadesman

noun1

1. •
   A man who uses a spade or shovel.

   • So Dawkins' pick swung up and down again, up and down, and at every few strokes the spadesmen at his left or right stooped hurriedly and pulled from the deepening hole a fresh lump of silver. — 1928