Danska marinen har lidit en smärtsam förlust,