So had just left a pub quiz during Royal Caribbean’s Explorer of the Seas 12-day cruise from Barcelona, Spain to Miami, Fla.