Allen, Thomas, active 1690-1716, Colonel