On a related note ... the ship names in the Culture always gave me a laugh. Here is a complete list: https://theculture.fandom.com/wiki/List_of_spacecraft