De Beers launches largest diamond exploration ship