fusilamiento del general arnaldo ochoa