Cornelissen förlorat en af sina mest framstående idkare och den holländska marinen en af dess utmärktaste förmågor.