extinct species of plesiosauriërs (Plesiosauria)