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