Guṇasēna, Mihiripănnē Ko. Da.