I found the following problem in the book M. Gardner, My best math and logic puzzles, Dover

White to play and not mate in 1.