Update on the earthquake in Costa Rica (November 12th, 2017).