Was there an earthquake in Texas on Monday night?