What happened to Trump?