WSJ: Trump picks Waltz as national security advisor