Conociéndose para entonces ya el poblado con el nombre oficial de Leones.