Pulau Ende, Indonesia (island)