Reports suggest that North Korea could dispatch a total of 12,000 troops formed into four brigades to Russia