Should The DOJ Pay Trump $230 Million?