New info to me. Thanks.
Also, I’ve met people living in Panama, and Nicaragua, saying that those countries (in some locations) are about where Costa Rica is. Yes, NICARAGUA!
All fairly small, beautiful countries right together.