אגם סוצ'ימילקו, מקסיקו סיטי