Nordkorea har skickat omkring 10 000 soldater till Ryssland för att strida i Ukraina de kommande veckorna, uppger USA:s försvarsdepartement.