A 5.2-magnitude earthquake struck off the northwestern coast of West Manggarai district in East Nusa Tenggara province ...