‘Aggressive shark activity’ prompts closure of beach in Orange County