I was interested in this too, so I keep on reading and finally understood: "Born in Pakistan to a Roman Catholic family that had its roots in the former Portuguese colony of Goa". Rodrigues is a common Portuguese surname. Once again, the empire strikes back :).