What actor played in both "Vanya on 42nd Street" and "The Princess Bride"?