The judge who fined Donald Trump $364 million laughed, smiled