800 migrants rescued from Mediterranean Sea