Laksamana Armada William D. Leahy, sejak 1945