For months, Moscow and Pyongyang had been vague about the deployment of North Korean troops in Russia’s war against Ukraine,.