At least 20 rebels killed in Sri Lanka’s north