What more should Meg Whitman have done about Nicky Diaz Santillan?