Body of girl swept into ocean at Laguna Beach recovered