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

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