Democrats pushed Biden to choose a black running mate. If that’s not DEI, what is?