Table 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