Didn’t the Hammerhead Cruisers first show up in The Star Wars: Knights of the Old Republic games as the default Republic Cruisers?