At least 47 dead in eastern Indonesia earthquake of magnitude 7.7