Trump is on record saying Jensen should not be fired.