Casco Antiguo is the old town or Casco Viejo of Panama City. After the original Panama City (Panama Viejo) was destroyed by the pirate Henry Morgan in 1673 the town was relocated.