Hendrik Michiel Martens — Dutch politician (1900-1977)