schepen van de Koninklijke Marine en die der gouvernementsmarine, 1814-1962 / [samengest. door A.J. Vermeulen]