In Washington haben zahlreiche Menschen Abschied vom verstorbenen früheren US-Präsidenten George H. W. Bush genommen.