Should libertarians put up with Trump?