 So we know what followed. There was a mob attack, which could not have happened without the local police. So local law enforcement were involved in destroying this neighborhood, killing an unknown number of people. There are even reports that there was a bombing from the air. But that's one of the things that was later removed from media reports at the time.