Talk:Xuanzang/@comment-223.73.147.108-20180108042251/@comment-4802891-20180108042835

Yes it should, but Cho Hakkai is better known than Cho Gonou in Japan, which might be why this name was chosen over the other.