Well, it seems we experienced a bug in this evening match. It was before 21:14. Xavier, who was observing the game, realized Thales had 2 kings and Thiago no one!
It seems it happened after having changed a city where the king was.
This way, Thales was killed twice and Thales didn't die till his last worker was found and executed.
The replay in viewtopic.php?f=24&p=4634#p4634