A North Korean Olympic cheer