: Trump says Attorney General William Barr will step down Dec. 23