After King Amon’s servants killed him, what did the people of the land do to those who killed him?

The people of the land killed all the servants who put Amon to death.