Столица республики Коста-Рика названа в честь некоего святого. Представителям какой профессии, согласно христианской вере, покровительствовал этот святой?