E. Mulder - kolonel van de Koninklijke Marechaussee