summary of Washington Irving’s Rip Van Winkle