Emittente: ‘BANCO DE COSTA RICA’