Sri Lankan navy sinks 12 Tamil Tiger ships in battle