Did Trump really attack the military?