Question: What are the official names of cities, ordered descending by population?
SQL: SELECT Official_Name FROM city ORDER BY Population DESC