What is "cricosaurus"

Cricosaurus is an extinct genus of marine crocodyliform belonging to the family Metriorhynchidae. The genus was established by Johann Andreas Wagner in 1858 for three skulls from the Tithonian ( Late Jurassic) of Germany. The name Cricosaurus means "Ring lizard", and is derived from the Greek Cricos- ("ring") and -sauros ("lizard").

Fossil specimens referrable to Cricosaurus are known from Late Jurassic deposits in England, France, Switzerland, Germany, Argentina ( Vaca Muerta), Cuba, and Mexico.