Gijsbert van Tienhoven — military officer (1875-1942)