Question: what is the highest city population?
SQL: SELECT max ( City_Population )  FROM district