George H.W. Bush 1924-2018