Killing of Sri Lankan general: another sign of civil war