What Did They Name Their Other Ship?
If the ship were just named Titan, it would not be noteworthy. If it were just called Uranus, well, it would be kind of funny. But these folks just named their ship after random astronomic bodies without realizing they made a joke. We really hope this was not intentional because that makes the humor so much better. If people passed by, they’d laugh, and the crew would just be left confused. We’d tell them, but what be the fun in that?