Former Wall Street Journal managing editor to become next Washington Post executive editor, says NYT.