RTVE.es estrena el tráiler de 'El tesoro de Barracuda', una divertida película infantil de piratas