George HW Bush was a bad dude