Mayor of Columbus, Ohio — political office in the United States