File:Coat of arms of the People's Republic of Korea.svg