I picked this up at a flea market earlier today, and I'm wondering if anybody can help me identify what these are called. It's sharp on the convex side and has a hook at the end for what I'm assuming attaches to a ring for a pivot point. Similar to a stock knife (or bench knife).