WaPo columnist John Kelly shares a variety of inspirations. What were the names you gave your pets? Any standouts? Did you ever change a pet’s name once it already had one? Ever wondered how zoos pick names for their high-profile animals? In another column, Kelly provides his informal taxonomy.