koreakrigen henry de lange