Nobody was killed by any of the rioters.