Desde tiempos históricos ha sido conocido como Guastatoya o Huastatoya.