I would also point out, that if we want to be sticklers, the war that Dwight Eisenhower led in Europe against the Third Reich was never declared by the United States Congress…Recall, the Congress passed a war resolution against Japan. Germany declared war on us two days later. We never formally declared war on Hitler’s Germany, and yet we fought the war. [And later, when an audience member disagreed] I think we should check it. Perhaps we made the rationalization — since there was the Axis alliance — that the attack of Japan was tantamount to the attack of the Third Reich. But as I recall in my history, Germany declared war on the United States, not vice-versa.”