Riviera cruise ship leaves Funchal harbour