entrenching tool

noun

1.
a hand shovel carried by infantrymen for digging trenches