Today’s Martinis: Trump dumps Lewandowski, the DOJ edits out ISIS, and Marco Rubio mulls another Senate run.