Flag of Korea, Democratic People's Republic of