Aggressive sea lions prompt changes at Petersburg harbors