About 4,000 people gathered at the cathedral for the service , including President and Mrs. Bush , former presidents George H. W. and Barbara Bush , Gerald and Betty Ford , Jimmy and Rosalynn Carter , and Bill and Hillary Clinton .
About 4,000 people gathered at the cathedral for the service , including President and Mrs. Bush , former president George H. W. and Barbara Bush , Gerald and Betty Ford , Jimmy and Rosalynn Carter , and Bill and Hillary Clinton .