Mike Pompeo is not running for president