Former Washington Post editor and budget reporter