File:Flag of the Democratic People's Republic of Korea.png