It is not clear how many South Korean troops will participate .