But three days later King Ptolemy himself died, and his troops in the strongholds were killed by the inhabitants of the strongholds.