Let's leave that call up to military veterans and active military. Im not going to demand they change the name of their home or military barracks. Being the names have been in place for years it could have some military cultural significance or it could make others feel out of place and give a negative impact. Yeah that's their call, let them work that out, and don't give them any crap about it. That's 100 % up to them.