Plegtige opening der groote sluis van het Ooster-dok voor Amsterdam (op 5 mei 1832) ter nagedachtenis van Jan Speijk