US judge sets August trial date for Trump in Florida documents case -court order