Panton, Thomas, active 1702-1720, Brigadier-General