How much water is there, approximately, in the lake Mexico City is on