Gramont Raoul and Hensel John J. Encyclopedia of knots and fancy rope work Gramont Raoul and Hensel John J. - Cornell 1943