The numbers on US political violence