El nombre en clave para los aliados asignado por el Departamento de Guerra de los Estados Unidos era “Tony”.