What is "navajosuchus"

Navajosuchus is an extinct genus of alligatorine crocodylian. 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 on AMNH 5186, a partial skull collected in 1913. Later research showed that Navajosuchus novomexicanus was the same as the earlier-named Allognathosuchus mooki. However, A. mooki may or may not belong to the genus Allognathosuchus, and if it does not, the name of the crocodilian would become Navajosuchus mooki. 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.