The hangman Boris, played in an uncredited role by Robert Ridgely, reappeared as a character in what other Mel Brooks film?
Robin Hood: Men in Tights