At least 38 dead in eastern Indonesia earthquake of magnitude 7.7