Planning a holiday? Tropical East Timor declared malaria-free