Panamá (nombre propio): Distrito en la provincia de Panamá3.