Obituari: mantan Kapolri Awaloedin Djamin meninggal dunia