A Twitter employee deleted Donald Trump's account and then quit.