Judge formally says Trump owes $454 million in civil fraud case, countdown starts for him to put up the money for appeal