After a summer of social unrest and calls to remove some monuments, activists are still pushing for the city to change the name of Columbus Day to Indigenous Peoples Day. How some groups envision reteaching the history of Christopher Columbus.