Ukraine and its allies estimate that North Korea has deployed between 10,000 and 12,000 troops so far to aid Russia’s war effort.