His/her last name was the first name of Rip van Winkle's creator.