the cruise ship Explorer of the Seas, one day in Funchal