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