Shell to sell part of its Woodside Petroleum stake for $1.7 billion