Heavy sea battle in Sri Lanka: military and Tigers