entrenching tool

(military) A short shovel, usually with collapsible handle, used by soldiers for digging entrenchments, foxholes, etc., and as a weapon in hand-to-hand combat.