I don't know much about these but this one seems also to be promising. Could you please also measure the thickness of the blade?
BTW, I don't think these ever were military weapons but more for civilian use. An early EDC (every day carry) blade...
Regards,
Kai