Puzzles solved by Pedro de León