Governor Mike DeWine has ordered that the flags of the United States and the state of Ohio be flown at half-staff upon all public buildings and grounds throughout the state of Ohio from midnight to midnight on Dec. 7, 2023.