Trump jokes about paying $35 trillion U.S. debt in crypto