Trump: White House Chief of Staff John Kelly leaving at end of the year