— Ett holländskt krigsfartyg sjunket.