
Locals have picnic in Pyongyang, capital of the Democratic People's Republic of Korea, during the International Labor Day holiday on May 1, 2017. (Xinhua/Cheng Dayu)

Locals have picnic in Pyongyang, capital of the Democratic People's Republic of Korea, during the International Labor Day holiday on May 1, 2017. (Xinhua/Cheng Dayu)