Benghazi was a tragedy. Libya is a tragedy.