7.2-magnitude earthquake hits eastern Indonesia: USGS