North Korean troops are reportedly supporting Russian military efforts in Ukraine, with potential numbers varying