You're right, although the AI aren't organized alphabetically, but by the order of leader picks made before the game starts. The human is always Team 1, and the barbarians the last. In this game, Tokugawa went before Mao, and Mansa was the final regular AI, IIRC.
Regardless, I don't think the...