Funeral de Juan Antonio Aguirre Ballesteros, ejecutado político