Castelo da Pena da Rainha, também conhecido por Castelo de São Martinho da Pena