No, a court did not reduce Trump's $454M civil fraud penalty to $175M