krigsskeppet „de Kock * *.