Columbus Day or Indigenous People's Day?

Just days ago, the Seattle School Board voted unanimously to replace Columbus Day, a federal holiday, with “Indigenous Peoples’ Day”