Who won a border war with Libya