Ohio statehouse with flags at half mast