Temporada de cruceros en Panama escalas por el Caribe 2014-2015, Pullmantur, Royal Caribbean turistas extranjeros