Fue enterrado en el panteón real de Nieuwe Kerk en Delft el 17 de julio de 1884.