Hendrik Nicolaas Werkman (Dutch, 1882-1945, killed by Nazis)