Pol Pot and Hitler: A Comparison