¿Qué animal es una especie de reptil marino que vivió durante la era de los dinosaurios?