william de vaughn