Khajjotanadī untranslated

Khajjotanadī. A river in Ceylon, tributary of the Mahā Vālukanadī. Over it Devappatirāja built a bridge of thirty cubits. Cv.lxxxvi.22; see also Cv.Trs.ii.173, n.3.