Man kills "aggressive" mountain lion with shovel at campground, wildlife officials say it doesn't qualify as an attack