¿Qué animal extinto era un reptil marino de gran tamaño y cuello largo, similar a una jirafa marina?