Otras denominaciones: Cueva de Estoril