இலங்கை அதிபதியான ராவணனை —