20181201 world.us: Former US President George HW Bush dead at 94