Flora of Singapore precursors, 17: Clarification of some names in the genus Calophyllum as known in Singapore