Trump picks retired Marine Gen. James Mattis for secretary of defense