Do North Koreans Actually Make Money?