Thalattosuchia is a clade of mostly marine crocodylomorphs from the Early Jurassic to the Early Cretaceous that had a cosmopolitan distribution. They are colloquially referred to as marine crocodiles
Platysuchus multiscrobiculatus 1
Cricosaurus albersdoerferi
Life restoration of Machimosaurus (Machimosauridae, Teleosauroidea)