Gother Mann — English army officer and military engineer