A Dutch destroyer that served in the Royal Netherlands Navy during World War II.