Double Star by Robert A. Heinlein