M5.2 Earthquake 25 km NW of Labuan Bajo, Indonesia - July 27, 1994