That is it's nickname, used by ground personnel.
However, it's christened name, used by management, is 'Carmen SanDiego'.
Yes, you are correct, sir!