1942 Netherlands 25 cents coin