Maj. der Infanterie J.P. Walthuis