Update: Earthquake shakes deep East Texas