Template:Did you know nominations/Willem Krull (Dutch Navy officer)