Answer
The HNLMS Karel Doorman was a Dutch navy ship that served during World War II and the Indonesian National Revolution. It was named after Karel Doorman, a Dutch admiral who was killed in the Battle of the Java Sea. The ship was a light cruiser and was one of the most modern ships in the Dutch navy at the time. It was sunk by Japanese aircraft in 1942.