What Lewandowski departure means for Trump