Home Editor's Pick DOJ settles with former FBI officials over release of anti-Trump texts