Magnitude 5.6 earthquake — Ende, Indonesia