At the pier next to ours, a huge Disney ship has pulled in. When it blows its horn, it plays “When you wish upon a star,” (just that one line), several times, in several different keys.