Comet in our sky: Lim Chin Siong in history