20141101 world.europe: Italy to end sea rescue mission that saved 100;000 migrants