ww2 folding shovel