Historical Dictionary of Costa Rica, Hardback/Juan Jose Marin Hernandez