Trump lost the war; lost it before he foolishly started it, in fact