did jerry the mouse die - Search