What happens to Trump’s $83M judgment if he appeals?