(USA Today) Former White House chief of staff John Kelly, who was assigned to bring a level of discipline to President Donald Trump’s often chaotic administration, is leaving the post after internal tensions increasingly spilled into public view in recent months, Trump said Saturday.

“John Kelly will be leaving toward the end of the year,” the president told reporters as he left the White House for the Army-Navy game in Philadelphia.

Trump, who called Kelly “a great guy” despite their clashes, said he will announce a successor – perhaps an interim one – in a few days.