Category:Former populated places in Costa Rica