the city’s 17th-century Casco Viejo or Old Town has seen a flood of investment, jumpstarting the restoration of long-neglected mansions. In the intervening years, chic rooftop bars, ocean-front ...