7 But when the king heard of this, he became angry and sent forth his armies and destroyed those murderers and burned up their city.