Hunters over Korea: A Solitaire Game of Air Combat over Korea (1950-1953)