King Mahāsudassana 1.10.3

1.10.3

pacchimaṃ samuddaṃ ajjhogāhetvā paccuttaritvā uttaraṃ disaṃ pavatti, anvadeva rājā mahāsudassano saddhiṃ caturaṅginiyā senāya.

Having plunged into the western ocean and emerged again, it rolled toward the north, followed by the king together with his army of four divisions.