North Korean troop deployments have internationalised the Russia–Ukraine war