Pinhal de Leiria ou Pinhal da Marinha?

IN: Jornal da Marinha Grande, nº 319, edição de 10 de Abril de 1970