Pieter Platteel — Dutch politician (1911-1978)