She’s one of the names being mentioned as a potential running mate for Donald Trump. (Ron DeSantis has ruled himself out.)