Will Russia’s war against Ukraine go global? Enter the North Koreans, 31 October 2024