NBC: Magnitude-4.2 earthquake shakes Big Island of Hawaii