Russian Ensemble Gives Performance to Mark 75th Birthday of DPRK