VIDEO: Shark chases seal off coast of San Diego