Pedra Branca island now part of East Coast GRC

The island is closed off to the public.