Agent Weasel and the robber king