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.