Pat Gelsinger’s surprise departure poses a dilemma for Donald Trump