No matter how many sea lions are killed each year by sharks, it never seems like enough.