Mayor of Wilmington — position of municipality in Clinton County, Ohio