How Columbus nearly lost the Ohio Theatre 55 years ago