former Lake Texcoco

GPTKB entity