Donald Trump har betalat borgenssumman på 175 miljoner dollar i det civilrättsliga bedrägerimål där han befunnits skyldig till att ha övervärderat sina fastigheter, visar domstolsdokument.