San Jose is part of Costa Rica