I think it makes more sense that the player is "Pancho" and the enemy is "red"
Interesting, why is it?
because in the game's main art Pancho looks bigger and you feel that you play him.