
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/Zhu Longchuan)

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/Zhu Longchuan)