9 dead in mass shooting in Ohio just hours after 20 killed in Texas