I think that's a little silly to fault Trump on this one. Suppose Russia were making a lightning quick strike with its full Army into Western Europe. Would we expect they US to nuke Russian forces to stop them? I think that option would always be there.