Trump didn’t pardon Diddy