the national library of costa rica has his name