A cruise is for relaxing–and we have relaxed. Still, a lot has gone on since yesterday afternoon when I last posted. After dinner we headed to the theater for the evening’s show. We wer…