Life and exploits of Mansong, commonly called Three-finger'd Jack, the terror of