officials of the south african company said the white diamond , dubbed `` the big rock , '' was found at a mine near pretoria in july 1986 , but its discovery was kept secret to all but a handful of de beers executives .