File:Flag of Costa Rica (1840-1842).svg