History of the discovery and conquest of Costa Rica