That was Jose de Leon. You may be thinking of Juan Ponce de Leon, the first European sailor to round the Cape of Good Hope the explorer of Florida and first Spanish governor of Puerto Rico. They're quite similar, so it's an easy mistake to make. Edit: dammit, that was Vasco da Gama. My bad.