20130602 city.madurai: Sri Lankan navy raises patrol around Katchatheevu