Gunmen kill naval officer in Libya’s Benghazi