George Bush senior (1924-2018)