Extent of Tan Kim Seng's original estate in the 19th century