(should flag never-launched ships with a * or something) (should add the five unnumbered battleships)
... dumped 2003-03-17 with ...