— прежнее название республики Колумбии (см.) в Южной Америке.