The cat that survived the sinking of three warships and retired in the British public service