Boa noite DJY,
penso que será ao contrário...
O primeiro nome da mina foi Palão. Em 1946 ainda era assim denominada. Mais tarde passou a designar-se de Ceife, tal como aparece na obra que citou (Bol. Soc. Geol. de Portugal - Vol. IX - 1951).
Ceife e Palão é o nome de duas Ribeiras na imediação da mina, daà o uso destes nomes e a mina ser conhecida por ambos.
Pedro