Bei der Verlegung einer Gasleitung in der peruanischen Hauptstadt Lima sind Arbeiter auf eine mehr als 1.000 Jahre alte Mumie gestoßen.