Graduate School of Education professor Jonathan Zimmerman argued that changing the name of Columbus Day doesn't matter if no one notices.