who was the martial artist student of john chow-hoon?
(AND martial_arts.martial_artist (JOIN martial_arts.martial_artist.martial_arts_students m.02z8r1s))