Miki the Tokyo cat (Miki)