themes of Washington Irving’s Rip Van Winkle