텍스코코 호수는 그 넓이가 얼마나 됐었나요?

엑시코시티는 스페인이 아즈텍을 멸망시키고 텍스코코 호수를 메우고 세운 도시라고 하는데요.

메우기 전의 텍스코코 호수는 대략 면적이 어느 징도가 됐었나요?

당시의 호수에서 메워지지 않고 남은 부분은 지금은 어떤 이름으로 불리고 있나요?