Bibliotheek der Zeelieden definitief gesloten