The military choir of the Democratic People’s Republic of Korea perform “Killing in the Name” by Rage against the Machine