A powerful 7.7‑magnitude earthquake has struck eastern Indonesia, leaving at least 20 people dead; details and response efforts are in the full report.