Praia da Barreirinha (atual Complexo Balnear da Barreirinha), Freguesia de Santa Maria Maior, Concelho do Funchal See original record