The Norwegian Government Pension Fund: The Divestiture of Wal-Mart Stores Inc.