Costa Rica in October