Now that it's a state park, is there any ongoing effort to open it up for diving?