What did he say? I was listening and don’t recall him saying Trumps name.
Well, then, you weren’t listening. ;-)