Trump taps retired general Mattis for defense secretary