Dutch Timor, Indonesia (section of island)