US will look at more tools to counter North Korean military aid to Russia