Defense Secretary James Mattis to leave as of January 1; Trump taps Patrick Shanahan as acting secretary of defense