. "Korean battle" . . .