John von Neumann's grave in Princeton