What is the Mexico City's population?
11,543 citizens.