Trump splits with John Bolton on "Libya model" for North Korea