Es popularmente conocido como Parque de los Pinos.