Nearly a decade after he left office, here's what to know about the resume of Michael B. Coleman, Columbus’ longest serving mayor.