This just in: John Solomon of the Washington Post will become the Times’s new executive editor later this month. He is replacing Wes Pruden, who is retiring after 25 years.