John Whitney Jr. — American computer animator (born 1946)