Alert: you don’t have to worry about the North Koreans joining Russia’s effort