Meaning of entrenching tool

(noun) a hand shovel carried by infantrymen for digging trenches