I’m about to get my hands on a John Ek commando 5 (https://www.arizonacustomknives.com/products/1053059/), made in the 90s. I’ve found vague references to the steel used and one particular reference being thrown about it in an old thread saying it’s made out of HCS-1718. Any idea on what steel this is or if it’s any good?