Sagaradeva untranslated

Sagaradeva. A king who dug the ocean (DN­a.i.91; MN­a.ii.689). The reference is evidently to Sagara (q.v.), who, through anger, caused the earth to be excavated, and the earth came thus to have the ocean as her bosom. From this the ocean has come to be called Sāgara. Mahā Bhārata xii.29.

Sāgaradeva. A king descended from Mahā Sammata. His father was Sāgara and his son Bharata. Dpv.iii.6; Mhv.ii.4.