Oud-directeur Jan Doeksen van Rederij Doeksen overleden