David Vaughan — British-American dance historian and critic (1924-2017)