Former secretary of State Mike Pompeo was not president Donald Trump’s first choice for the job, but came to dominate the administration’s global agenda. He leaves behind a mixed legacy of aggressive foreign policy decisions that pleased some allies but stoked many longstanding conflicts.