But when the king had heard of it, he was angry: and sending his armies, he destroyed those murderers and burnt their city.