Defense Secretary Jim Mattis Will ‘Retire’ in February. Trump Says Successor to Be Named ‘Shortly’