For most governments 5 billion dollars is chump change compared to the possible reputational damage.
North Korea's GDP is $34B, so it absolutely isn't a chump change for NK's govt.
alt Hacker News
North Korea's GDP is $34B, so it absolutely isn't a chump change for NK's govt.