ResPubID13994, Ong Hok Ham, Indonesian historian