Republican Sen. John Cornyn has demanded formal modifications to an agreement the Justice Department made with President Trump to settle his lawsuit against the IRS.