Sosok Mantan Kasatpol PP DKI Harianto Badjoeri yang Meninggal Dunia Hari Ini