"it was code-named "Robin" for communication purposes, an intentional reference to the famous—or infamous—English outlaw Robin Hood"

Aw, dang, and I thought it was because the Saratoga was Batman.