What did vasco da gama do before any other european explorer