I know that different cruise lines have different policies relating to ship's time. It's been a couple of years since I last sailed on HAL. I am wondering if they still adjust ship's time to reflect local time during the cruise.
Yes, they do. Well, they did as of last spring on the Amsterdam Panama Canal. Going by local time makes it so much easier for everyone, I don't know why they would change the policy (and hope they don't change it!!)