(n.) A genus of extinct marine reptiles, allied to the Mosasaurus.