A Computer Composes A Fabled Problem: Four Knights vs. Queen