Markets | Thu May 1, 2014 9:44pm EDT

Colombia to repair oil pipeline after deal with indigenous group