Llegó a tener unos 20.000 habitantes.