Unfortunately, now named the 'Dutch' Palace...
History does NOT lie!
When the Dutch pirates took Cochim from the Portuguese, after the union of the Portuguese Crown to the Spanish, in 1585, they tried (with success) to erase the presence of the old masters in the old capital...