san jose is part of costa rica