Il Monte pio dei marinai di Torre del Greco. Tre secoli di attività al servizio dei corallari (secc. XVII-XX)