In a first, North Korean troops killed in combat against Ukraine