Just curious as to where the name of the ship comes from. I know it was not in the movie, so was it in the script? In one of the "Next Generation Companion" books? How do we know the name?