What should happen to Moammar Gadhafi’s killers?