A 6.4-magnitude earthquake in Indonesia