You probably couldn’t have asked for a more thoughtful Chair of the Joint Chiefs than Mark Milley, whose term ends on September 30. He was one of the good guys who repeatedly restrained President Trump from veering into dubious schemes—such as a war of choice with Iran.