We are going to be in Walt Disney World from 11/11-11/19. In past years I believe there has been a holiday overlay to Jungle Cruise, named Jingle Cruise, correct? Are they doing that again this year? And if so is it just for the evening Christmas Parties or is it the Jingle Cruise all day...