New records and range extensions to the Costa Rican freshwater fish fauna, with an updated checklist