Costa Rica (Greater Colombia)

Costa Rica includes, more or less, OTL Costa Rica.