The restored diving platform in the Mermaid Pool