Gāndharva-lakṣaṇa
Traits/Classification of the Gandharvas) and Royal-Genealogical Continuities (Vamśa-prasaṅga
स तं देशं सुतैः सर्वैः खानयामास पार्थिवः / आसेदुश्च ततस्तस्मिन्खनन्तस्ते महार्मवे
sa taṃ deśaṃ sutaiḥ sarvaiḥ khānayāmāsa pārthivaḥ / āseduśca tatastasminkhanantaste mahārmave
Then the earthly king had that region dug up by all his sons; and as they dug on, they came at last to the mighty ocean.