Trump has chosen retired Marine Gen. James Mattis for secretary of defense

Retired Marine Gen. James Mattis is President-elect Donald Trump’s pick to run the Pentagon, The Washington Post reported Thursday afternoon.

To become Defense secretary, Mattis would need Congress to change a law disallowing anyone who has been on active duty in the last seven years from taking the position.