Solving Kriegspiel endings with brute force: the case of KR vs. K