<question>: List official names of cities in descending order of population. <context>: CREATE TABLE city (Official_Name VARCHAR, Population VARCHAR)
SELECT Official_Name FROM city ORDER BY Population DESC