Washington Irving’s Rip Van Winkle summary