Trump's Recipe to Avoid US Default Doesn't Mention Bitcoin