What did vasco da gama die from