Renamed Holiday

 “The city of Gary has replaced Columbus Day with a holiday honoring its late Mayor Richard Hatcher, who became one