¿Cuáles eran los nombres de los dinosaurios?