Gawd, just leave the name as is. What a waste of breath and tax payers money having them even discussing this.

 Get back to more important issues, like changing the start time of the 4th of July parade, it starts WAY TO F'ing late, I don't get home to BBQ until almost 2pm. Start the kids parade at 9:30, adult parade at 10:30. That would not be a waste of tax payer money :)

And leave the dang park name alone.