Executive editor of The Washington Post: how to put out a daily newspaper and run a 24/7 Web site with shrinking resources