Washington farewells former president George H.W. Bush. / AP