Repairing Damaged Water Pipelines