They might as well change the name of the town while they’re at it — Minnesota ping.
And while we’re at it how about St. Louis, San Francisco, San Antonio, among others.
Somebody had to give final approval for this, and they have a name. The name of this person should be made public.