¿Qué animal extinto era un reptil marino gigante con una longitud de hasta 20 metros y una cabeza parecida a la de un cocodrilo?