what is the name of the currency in costa rica and who is it named after?