What to do when your lake is named after an antisemite

Should the name be changed or should we forget about it? Op-ed.