alt Hacker NewsWell it's native to the Xochimilco "lake system". Sometimes its hard to say what's a different lake or not but it's the same system of lakes. They also used to be in Lake Chalco which at certain times of the year could connect into the same lake as Xochimilco. Regardless, it's always been a tiny range
My understanding is they were in other mountainous areas as well in central Mexico but their habitat was much more reduced there so they went extinct even faster.
one example: https://www.researchgate.net/publication/382147531_Chronicle...