Se le llamó "Cryptocleidus cuervoii".