Trump, briefed by defense secretary and top military leader, discussed range of options to respond to any form of aggression from North Korea -White House

Headlines via Reuters

I guess the options included 'send out more tweets'?