Did you know that the Japanese manga Space Family Carlvinson is likely named after an aircraft carrier that is itself named after U.S. congressman Carl Vinson ?