What are the official names of cities, ordered descending by population?
select official_name from city order by population desc