And here’s the marker commemorating the Irving family grave. This doesn’t actually mark the gravesite of Washington Irving, however…