Trump started all this with the November 2016 tweet I reposted, which he's still never substantiated or apologized for, to my knowledge.
So I'm glad to hear it's a joke. But it's so, so hard to tell these days. Trump has the ability to transmute satire into something resembling reality in the minds of his supporters every day.
If this is the kind of stuff Trump says when he wins, I fear for what he will say or try to do if he loses this November.