an Entity references as follows:
Pinacosuchus is an extinct genus of crocodylomorph. Its fossils were found in the Late Cretaceous-age North Horn Formation of Utah (United States). Pinacosuchus was a diminutive crocodylomorph with spiky armor, and is known only from meagre remains.