How long should the international mission in Libya last?