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 ...