Battle off the coast of jaffna