Over the course of his long and at times testy address to Congress on Tuesday night, President Donald Trump uttered his predecessor’s name more than a dozen times. Forms of “border” and ...