👉 Ceratotrochus is a genus of extinct marine reptile that lived during the Late Cretaceous period, approximately 65 to 70 million years ago. It was named for its distinctive, small-to-medium-sized body and large, bulbous tail. The species was part of the family Ceratosauridae, which also includes dinosaurs such as Triceratops.