Should Twitter suspend Trump over his tweets about Mika Brzezinski?