Meaning of entrenching tool | a hand shovel carried by infantrymen for digging trenches...