&gt;<i>he killed more people than Hitler did historically</i><p>Only when counting famines and a civil war type situation among his casualties. He killed much less than Hitler otherwise (which would still be a lot).