Jenderal Hendrik Merkus de Kock