Giant tortoise thought to be extinct discovered in Galapagos