What is the population of Ciudad de Armería?

Ciudad de Armería's population is 14,091.