Reporter presses Pentagon spokesman: How many North Korean troops are in Russia ready to fight?