entrenching tool

noun1

1. •
   A short shovel, usually with collapsible handle, used by soldiers for digging trenches, foxholes, etc., and as a weapon in hand-to-hand combat; also used by campers.

   • In between rounds, he dug a scrape for himself with his entrenching tool. — 2014