is a city of . It has a population of .