Marina cruise ship leaves Funchal harbor