He calls it "Flying Phantom Ship" which is probably right. In any case, I cannot pass on a review of the first anime movie I have ever watched (first series was The Speed Racer). Of course it was a pirated copy on a 16mm celluloid, did you have to ask? In my days we walked to the station 7km barefoot in the snow, in order to receive our torrents in a flat tin can reminding a magazine for DP. It was almost 40 years ago, but I remember how the film broke in the projector (when that happened the kids yelled "shoemaker!" at the operator: it's like "tamayaa!" backwards).