Historic waterfront hotel architecture in Panama City’s Casco Viejo