. . . . "Battle of the Korean War involving Thailand" .