Royal Netherlands Naval College - institution for higher education of the Royal Netherlands Navy