Washington Irving, boy of old New York