At least 30 migrants died and 200 were rescued after they were set on by sharks during a crossing from Africa, Libya's navy has said. Some 18 women and three children were among the dead.