Wikipedia
Pinacosuchus
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.