Quake in Indonesia triggers small tsunami, damages houses

There were no immediate reports of casualties after the earthquake