You are aware that a pun involves multiple meanings, right? Maybe it was intentional and maybe it wasn't, but the word "trump" certainly lends itself to such a

You are aware that a pun involves multiple meanings, right? Maybe it was intentional and maybe it wasn't, but the word "trump" certainly lends itself to such a pun and obviously that would have been one of the meanings.