👉 The term "Gomphoceridius" refers to a genus of extinct marine reptile that lived during the Cretaceous period, approximately 69 million years ago. This species was known for its distinctive gorgonoid head and large body size, which allowed it to adapt well to its habitat in shallow waters and rocky environments.