the Rotterdam cruise ship leaves Funchal harbor