Peru set Guinness world record for highest gas pipeline