Shark activity leads to beach closure in Orange County