Abbreviation country Costa Rica