Security heightened at Del Mar High School following shooting near campus