Judge orders Trump to pay $10K a day. Now what?