Question: When did the ocean in which Pedra Branca is located become a thing?
Answer: the 1770s