One of my favorite fan theories is that the authors did not name the ship after the horse from don quixote directly. There is a Rush song called Cygnus X-1 that’s basically a space opera and the ship in that song is called the Rocinate, and one of the authors of The Expanse is a huge rush fan. So in my mind that is where the ships name comes from.