Who was the military Chief of Staff of the U.S. Army during World War II?