Collaborations between John Eric Bentley and Mao Ichimichi