Is Mike Pompeo dumb?