Mike,

I think the official name was, as you say, "push dagger".

There are a lot of real and imagined WW2 era "SOE", "Commando", etc, knives, icepicks, blades, and the like.

I often wonder how many of the real ones were ever used to attack another man. I have read quite a bit about WW2, both official histories and personal accounts, and don't remember any mention. Bayonets either, except for the Japanese.