LETTERS TO THE EDITOR: What about DC’s name?

OPINION:

The DC Council, having denounced the discoverer of America with habitual nasty incivility, has decided to rename the Columbus Day national holiday “Indigenous Peoples’ Day.” But the evidently not-fully-’woke’ councilors seem to have forgotten that the unabbreviated name of the jurisdiction they oversee is the District of Columbia, a form of the name Columbus. Maybe the councillors will next change the district name to the “District of Indigenous Peoples.” The new abbreviation would say more about the collective mind of the council than anything else the group has done lately.

DENNIS TETI

Hyattsville, Md.