I like to presume that the ship's full name is U.S.S. A.G. Robinson, named for Archer's friend from "First Flight." I understand that Jackie Robinson was a brave man and a pioneer for racial integration in professional baseball, but it just seems to me that if you're naming a capital ship for heroes of racial equality, there are better subjects than a professional athlete. (U.S.S. Nelson Mandela, for instance.)