Governor Mike DeWine has ordered the flags of the United States of America and the State of Ohio to be flown at half-staff upon all public buildings and grounds throughout the State of Ohio.