"Province of Costa Rica" . . . . .