The flags of the United States and the State of Ohio shall be flown at half-staff on all public buildings and grounds ...