Did you know that William D. Leahy was the highest-ranking American military officer in World War II?