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