What are the names of those cities?
SELECT headquartered_city FROM district where city_population > 500000
cities with population more than 500000 refers to city_population > 500000; names of those cities refers to headquartered_city;