Barr'd menù, Ivanhoe