Aanwijzing van mr. J. Thunnissen – Tonneman als hoofd van de Scheepvaartinspectie