Wer war der Nachfolger von MacArthur als Kommandant im Koreakrieg?