Strong earthquake in Panama/Costa Rica border, but felt it very clearly in San Jose.