When does Columbus OH change its name?
..........................................
To, “The Most Reverend Doctor Martin Luther King Junior City, Ohio”?