Ruiz, Diego, active 1685-1718, Spanish colonel in Allied service; former Governor of Bedmar Fort