How Rich is Ann Richards?