Well 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