Antonio Torres Ruiz (servicio militar)