Pearl Harbor: Roosevelt and the coming of the war