Isaiah's Prophecy About God Punishing the King of Assyria

"When the Lord has finished all His work...he will punish the arrogant boasting of the king of Assyria and his haughty pride." Isaiah 10:12