HP names former GSK chief Emma Walmsley as CEO - Reuters