Was the Pentagon scared of Donald Trump?