Hvad beträffar krigsoperationerna på Korea,