Washington Post executive editor Matt Murray sent a staff memo on Tuesday, saying Thompson was leaving the paper at the end of July. And Jorgenson, in a feature in the Times, said he is leaving ...