Populations of the 10 largest cities, 1950 to 2025