File:Flag of the Democratic Republic of China.svg