us ww2 entrenching tool