Gravmonument over kongelig bibliotekar Jon Erichsen