Where did Costa Rica get its name?

On Columbus' last voyage he proclaimed the area that is now Costa Rica with that name. (It means rich coast). The name stuck and it is now the official name of the republic.