Please help identify this tool! We found it in a toolbox we purchased at a yard sale for my father. It stumped him, and that is pretty hard to do. He thinks it might be to tie a knot in a rope but we have no idea. The metal ring slides but does not come off. Any ideas?