City of Whitehall, Franklin County, Ohio, United States