An historical and archaeological sketch of the city of Goa