what is the name of the last currency in costa rica?