There's a difference between John Bolton and Mike Pompeo.