^"Daftar Nama Pahlawan Nasional Republik Indonesia (2)" [List of Names of National Heroes of the Republic of Indonesia (2)]. Awards of the Republic of Indonesia (in Indonesian). Indonesian State Secretariat. Archived from the original on 21 January 2013. Retrieved 17 February 2013.