Washington Irving High School — high school in Tarrytown, New York