Mayor of Hamilton — position of municipality in Butler County, Ohio