Washington Irving’s Rip Van Winkle themes