Hanʼguk Sanŏp Ŭnhaeng

• Census of mining and manufacturing