Galapagos: Endemic coral rediscovered