Sri Lanka’s navy and ethnic Tamil rebels engaged in a high-sea gun battle that lasted until dawn today, the military said, claiming to have sunk 12 rebel boats, including five suicide craft, and killing about 80 rebels.