Seems to be similar to this bug here: This card seems REALLY broken
Possibly an issue with summoned troops in general (linked thread has Goblin Rogue as the issue, and Goblin King is present in both cases). Will add it to the Known Issues list.
Also what platform was this one? PC? Mobile? Has it only been the one time? or every time you summon with Void Portal?