Trump should have vetoed. That's all there is to it.