Harvard agrees to controversial definition of antisemitism in legal settlement