Condolences on the death of former President George H.W. Bush