Update of distribution, habitats, population size, and threat factors for the West African crocodile in Mauritania