Washington Post insiders are speculating over who might replace its revered editor Marty Baron and how the paper will adapt to the post-Trump era