William East — (died 1726)