James Mattis, who will be more favorably remembered as a Marine officer than as secretary of defense, resigned after disagreements with the president.