It needs to be pointed out, #Ceuta has been Portuguese since 1415 then in 1640 the people there chose to be Spanish, after the Portuguese Spanish Union had ended. It's called selfdetermination of nations, practiced since 1640. This is not something, you would call a colony.