军舰发射完炮弹后，留下来的弹壳怎么处理？回收还是扔海里？