I have seen the official paperwork. The Dolphin roundabout was working illegally and has been banned for life from Turkey. The dolphins were not deported, as the court found that the roundabout was entirely to blame for the situation. Apparently, it was not fit for the porpoise.