“WASHINGTON — The White House has grown frustrated in recent weeks by what it considers the Pentagon’s reluctance to provide President Trump with options for a military strike against North Korea” https://t.co/NH2v7D40Yc— John Harwood (@JohnJHarwood) February 2, 2018