Indonesians mourn loss of Hariadi Kartodiharjo, beloved ‘father of governance’