De Hidalgo, Antonio, active 1685-1718, Allied colonel