Navajosuchus is an extinctgenus of alligatorinecrocodylian. Its fossils have been found in the Paleocene-age Nacimiento Formation of the San Juan Basin, New Mexico (United States). It was named in 1942 by Charles C. Mook, and the original type species was N. novomexicanus. N. novomexicanus was based onAMNH 5186, a partial skull collected in 1913.[2] Later research showed that Navajosuchus novomexicanus was the same as the earlier-named Allognathosuchus mooki.[3] However, A. mooki does not belong to the genus Allognathosuchus, and so the name of the crocodilian becomes Navajosuchus mooki.[4] Under whichever name is used, this animal would have been a generalized predator of the Nacimiento floodplains. It was the most common Nacimiento Formation crocodilian, found in both the Puercan and Torrejonian faunal assemblages.[5]
^Lucas, S.G. (1992). "Cretaceous-Eocene crocodilians from the San Juan Basin, New Mexico". In Lucas, S.G.; Kues, B.S.; Williamson, T.E.; Hunt, A.P. (eds.). San Juan Basin IV. New Mexico Geological Society Guidebook. Vol. 43. Socorro, New Mexico: New Mexico Geological Society. pp. 257–264. ISBN99922-2-673-0.