Early 2017 found me happily retired and planning adventure after adventure.  As we were planning our trip to China (in March and early April), I noticed a fantastic deal on a cruise through the Panama Canal with one of our favorite cruise companies, Holland America.  (Yes, its for people like us who don’t stay up late partying and like some of the more “genteel” entertainments — cooking classes, academic lectures and classical music.)     Anyway, the deal was so good, that I thought, “heck, why not?” and I booked our 20 day cruise and added an extra few days on our own in the Florida Keys since we landed in…