No tsunami after 7.6 earthquake in Costa Rica