Trump might end the war by resigning. washingtonpost.com