The Washington Post's first female executive editor steps down in abrupt shake-up