Restored Spanish colonial buildings that have been turned into condominiums and apartments, Casco Viejo, Panama City