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
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: List official names of cities in descending order of population. ### Input: CREATE TABLE city (
    Official_Name VARCHAR,
    Population VARCHAR
) ### Response: SELECT Official_Name FROM city ORDER BY Population DESC