Earthquakes: earthquake in East Timor, tsunami warning