account of Tianzhu is given in the "Xiyu Zhuan" (Record of the Western Regions) in the Hou Hanshu compiled by Fan Ye (398–445): The state of Tianzhu: Also...

also called Hanyuewang. It is several thousand li to the southeast of Tianzhu (northern India) ...The inhabitants are small; they are the same height...