Tusenvis tok farvel da George H.W. Bush ble stedt til hvile i Texas