Ribbon-cutting ceremony at Everglades Holiday Park.