Locals in traditional costumes perform dance in Pyongyang, capital of the Democratic People's Republic of Korea, during the International Labor Day holiday on May 1, 2017.
Locals in traditional costumes perform dance in Pyongyang, capital of the Democratic People's Republic of Korea, during the International Labor Day holiday on May 1, 2017.