Hr. Ms. Karel Doorman itu apa sih?

Karel Doorman adalah sebuah kapal induk angkatan laut Belanda. Kapal ini digunakan selama usaha Indonesia membebaskan Irian Barat dengan aksi militer yang disebut Operasi Trikora. Beberapa sumber menyatakan bahwa TNI-AU merencanakan untuk menenggelamkan kapal ini dengan menggunakan Tupolev Tu-16 dan menggunakan misil AS-1 Kennel, tetapi rencana ini digagalkan karena gencatan senjata antara Indonesia dan Belanda.

Tahun 1969, kapal ini dijual kepada angkatan laut Argentina dan diganti namanya menjadi ARA Veinticinco de Mayo.