Was Trump right to say IS is beaten?