I found the term in Eric Partridge's A Dictionary of Slang and Unconventional English, 1984, p. 1268. My own native language, a slang usage that's been in it for up to 300 years, and I hadn't known it.
Lo and behold, Wiktionary has it, too, the second definition:
https://en.wiktionary.org/wiki/trump#Verb_2
Dictionary.com also has it, buried down in the results; search/find in page for "slang":
https://www.dictionary.com/browse/trump
Amazing, isn't it?