“... and one-time Portuguese colony, ...”
I still remember GOA. The Indian Army eventually attacked and over ran the place back in the 1960s or early 70s. it was the equivalent of a Portuguese Hong Kong.