the cruise ship sets sail from the port of Funchal