20181206 world.us: US bids goodbye to George HW Bush with high praise; cannons; humor