Yes, the desert crocodile has only fairly recently been accepted as a seperate species. I assume the zoo did some sort of genetic tests to confirm their species status, as these two species are very similar if not nearly identical (although the desert croc is smaller)
