https://qcostarica.com/how-costa-rica-got-its-name/