Congress had to double its budget to cover Mike Pompeo's security detail: report