Benson, Thomas, active 1720-1766, Engineer