Gov. Mike DeWine ordered some of Ohio's U.S. and state flags to be flown at half-staff on July 19 to honor former state ...