Oklahoma City shooting - Armed bystanders kill restaurant shooter