In all maps, it's usually named after the avenue on this very same town "Dos de Mayo". But this is wrong, as you can clearly see it's not even close to that avenue. It's been always known as "Parque del Vaga" by their residents. Luckily, Google recently changed it on their maps, and I hope you all take a look into it, too.