The Wall Street Journal: Portugal’s António Guterres appointed new U.N. secretary-general