File:Flag of Costa Rica.svg

Summary
(not sure why the default name is taken by what the flag page says is a variant), tweaked to fix rendering issues