Alcanzó una población de cerca de 13.000 habitantes.