FDR’s decision to open a second front in World War II