NBC: Trump classified documents trial will begin in mid-August, judge says