Spain’s unreported guerrilla war