Donald Trump does not have a sense of humor.