Shell verkoopt pijpleiding Golf van Mexico voor USD 613 mln