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