what is the population of the city where the estadio general santander is located ?
711,715