Some reports have suggested as many as 12,000 North Korean soldiers are to be deployed but it is not confirmed