The name of that king is Sagara, who having been initiated in a sacrifice excavated the ocean, frightening the people with the vehemence of his operations.
स राजा सगरो नाम यः समुद्रमखानयत्। इष्टा पर्वणि वेगेन त्रासयान इमाः प्रजाः॥