Castelo de Lagos, Castelo dos Governadores (nome próprio)