And how many people did Pinochet kill, compared to the number of people Stalin or Mao killed?