Mare Humorum and Gassendi crater, Kiyoshi Imai