Iran, the Holocaust, and World War II