This may have been mentioned already, but still interesting.

Pickle is the third Pence family pet to die in the past 14 months, USA Today reported. In June, the family’s 13-year-old cat, Oreo, died. The feline was named after the cookie because of his black and white fur, per The Washington Post. Two weeks before the 2016 presidential election, the Pence family dog, Maverick, died.

https://www.huffingtonpost.com/entry/mike-pence-pickle-cat-died_us_5a2a04d8e4b069ec48ac2e82