Schema: CREATE TABLE city (Official_Name VARCHAR, Population VARCHAR)
Question: List official names of cities in descending order of population.
SQL: SELECT Official_Name FROM city ORDER BY Population DESC