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...