Home World David Dinkins, former mayor of New York City, has died