Hvad beträffar krigsoperationerna i Korea,