De San José de Costa Rica.